int VerificarExistenciaDiscoSincronizados();
void intacad ( int n , char* cadena);
void *syncer(void *args);
void reallocateoperations(disco *dsk);
void * HiloDeDisco ();
void * EnviarPedidos (void * pNodoDisco);
void* asignarread(disco* dsk,int sector, int numeroDisco);
int enviarPendientes(char *nombre);